<?php
echo $menu
?>
